COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	know.fil[f85,jmc]	List of files referring to knowledge
C00007 ENDMK
C⊗;
know.fil[f85,jmc]	List of files referring to knowledge

KNOW[E78,JMC]		FORMALIZATION OF TWO PUZZLES INVOLVING KNOWLEDGE
KNOW.ART[F75,JMC] 18-Sep-77	AN AXIOMATIZATION OF KNOWLEDGE
KNOWLE.AX[E78,JMC]	start on knowledge axioms with learning and K(person,
KNOW3.AX[E76,JMC] 03-Aug-76	Concepts with assignments and arithmetic
KNO1.PRF[E76,JMC] 28-Jul-76	A person comes to know what he is told.
KNOW.AX[E76,JMC] 27-Jul-76	with concepts, wants and future
KNO2.AX[E76,JMC] 30-Jul-76	Knowledge with wants and likes
CONCEP.AX[S76,JMC] 03-Jun-76	NOtes for knowledge, can, causality axioms
KNOW.AX[S76,JMC] 05-Jun-76	Propositions are true in situations
TAUT.PRF[F75,JMC] 13-Dec-75	Even fools know tautologies
KNOW.AX[F75,JMC] 15-Dec-75	General knowledge axioms
KNOW.AX2[F75,JMC] 29-Dec-75	Kripkean knowledge axioms
KNOW.LST[S78,JMC] 04-Jun-78	People interested in knowledge
NOTEBO.OK[S77,JMC] 05-Jun-77	Knowledge, political statements by scientists
KNOW[W76,JMC] 30-Mar-76		KNOWLEDGE OF TELEPHONE NUMBERS
KNOW[F78,JMC]		"Mike knows what Joan asserted", etc.
KNOCOM[W79,JMC]		COMPUTATION WITH STATES OF KNOWLEDGE
ABOUT[W80,JMC]		Knowing about
BODY[W80,JMC]		Bodies of knowledge
JOINT[W80,JMC]		JOINT KNOWLEDGE
SEMINA.[E80,JMC]	Knowledge and action seminar
ABSTRA[F80,JMC]		ABSTRACTS OF TALKS PROPOSED FOR KNOWLEDGE AND ACTION SEMINAR
KNOW.2[W81,JMC]		Formalization of two puzzles involving knowledge
know[w81,jmc]		original jmc knowledge axioms and version in FOL
know[e81,jmc]		Revising Montague's knowledge axioms
KNOW.PRF[F81,JMC]
know[f81,jmc]		draft of paper on knowledge
knowax.lsp[f81,jmc]	ekl axioms for knowledge, original jmc modal system
know3.lsp[f81,jmc]	ekl axioms for knowledge using possible worlds
know4.lsp[f81,jmc]	comments and axioms on Kripke type knowledge
knowle[f81,jmc]		axiomatizing knowledge using consistency
know[f83,jmc]		Notes on non-knowledge
know.lsp[f83,jmc]	EKL axioms for knowledge
know2[f83,jmc]		Passing the salt
know.abs[w84,jmc]	Abstract for lecture in Halpern seminar
know.lsp[w84,jmc]	ekl axioms
beeson.kno[s85,jmc]	Michael Beeson's paper on knowledge
beeson.not[s85,jmc]	Comments on Beeson's paper on knowledge
comm[e85,jmc]		Common sense knowledge
halper[e85,jmc]		Abstract for Halpern's knowledge conference
halper.abs[e85,jmc]	Draft abstract for Halpern conference on knowledge
theory[e85,jmc]		theoretical use of knowledge
know[f85,jmc]		Knowledge for Halpern meeting (Dec. 15 deadline)